#include <stdio.h>

int main() {
	int res=0,i=0;
	do {
		res+=i+1;
		i++;
	} while(i<1000);
	printf("%d",res);
	return 0;
}